double mathematical induction

[數] 雙重數學歸納法